“Obama, Holder to lead post-Trump redistricting campaign”

Politico reports.